Achterberg Gerhard's Documents

Achterberg Gerhard's Documents

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science)

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science)
Read more
Lecture notes on computer algebra 1

Lecture notes on computer algebra 1
Read more
Combinatorial Optimization - Eureka, You Shrink, 5 conf

Combinatorial Optimization - Eureka, You Shrink, 5 conf
Read more
Kantharos. Griechisches Unterrichtswerk: Kantharos, Lesebuch und Arbeitsbuch, m. Beiheft

Kantharos. Griechisches Unterrichtswerk: Kantharos, Lesebuch und Arbeitsbuch, m. Beiheft
Read more
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions Pt. 3

Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions Pt. 3
Read more
The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August ... Computer Science and General Issues)

The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August ... Computer Science and General Issues)
Read more
Agents and Computational Autonomy: Potential, Risks, and Solutions

Agents and Computational Autonomy: Potential, Risks, and Solutions
Read more
The foreign vocabulary of the Qur'an

The foreign vocabulary of the Qur'an
Read more
Mass Customization Information Systems in Business

Mass Customization Information Systems in Business
Read more
Geometric Numerical Integration

Geometric Numerical Integration
Read more
Mathematik - Motor der Wirtschaft: Initiative der Wirtschaft zum Jahr der Mathematik

Mathematik - Motor der Wirtschaft: Initiative der Wirtschaft zum Jahr der Mathematik
Read more
Zur Geschichte des Urchristentums (Quaestiones disputatae 87)

Zur Geschichte des Urchristentums (Quaestiones disputatae 87)
Read more
Methods of Celestial Mechanics 2: Application to Planetary System, Geodynamics and Satellite Geodesy

Methods of Celestial Mechanics 2: Application to Planetary System, Geodynamics and Satellite Geodesy
Read more
Molecular Morphology in Human Tissues: Techniques and Applications (Advances in Pathology, Microscopy, & Molecular Morphology)

Molecular Morphology in Human Tissues: Techniques and Applications (Advances in Pathology, Microscopy, & Molecular Morphology)
Read more
Grundlagen der Bautechnik

Grundlagen der Bautechnik
Read more
Stem Cell Engineering: Principles and Applications

Stem Cell Engineering: Principles and Applications
Read more
Color - Communication in Architectural Space

Color - Communication in Architectural Space
Read more
Digital Game Based Learning

Digital Game Based Learning
Read more
Handbook of Computer Vision Algorithms in Image Algebra

Handbook of Computer Vision Algorithms in Image Algebra
Read more
Solving Ordinary Differential Equations 1 (Springer Series in Computational Mathematics 8): Nonstiff Problems

Solving Ordinary Differential Equations 1 (Springer Series in Computational Mathematics 8): Nonstiff Problems
Read more
Alkyl Polyglycosides: Technology, Properties, and Applications

Alkyl Polyglycosides: Technology, Properties, and Applications
Read more
Essays in Contemporary Chemistry: From Molecular Structure towards Biology

Essays in Contemporary Chemistry: From Molecular Structure towards Biology
Read more
Modern Computer Algebra

Modern Computer Algebra
Read more
Automatic Nonuniform Random Variate Generation (Statistics and Computing)

Automatic Nonuniform Random Variate Generation (Statistics and Computing)
Read more
Computational Intelligence Based on Lattice Theory (Studies in Computational Intelligence, Volume 67)

Computational Intelligence Based on Lattice Theory (Studies in Computational Intelligence, Volume 67)
Read more
Methods of celestial mechanics

Methods of celestial mechanics
Read more
Representation Theory I. Finite Dimensional Algebras

Representation Theory I. Finite Dimensional Algebras
Read more
Modern computer algebra, Solutions for selected exercises

Modern computer algebra, Solutions for selected exercises
Read more
Agent-Oriented Software Engineering II, 2 conf., AOSE 2001

Agent-Oriented Software Engineering II, 2 conf., AOSE 2001
Read more
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions (Lecture Notes in Computer Science)

Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions (Lecture Notes in Computer Science)
Read more